Sort by
Refine Your Search
-
work): Smart Ticketing & Check-in: a single, trusted tool for booking and checking into travel, with discounts integrated for students and other groups (WP4) Mobile Vehicle Registration Certificate (mVRC
-
the crustacean model Parhyale hawaiensis. About the lab: The Developmental Morphogenesis Lab at IMBB-FORTH in Crete Greece studies the origin of biological form during animal development and evolution. Our
-
will focus on the use of the EUDI WaSmart Ticketing and Check-in use cases, including the issuance and verification of mobile travel credentials and the Mobile Vehicle Registration Certificate (mVRC), as
Searches related to model checking
Enter an email to receive alerts for model-checking positions