International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time | Topic | Authors |
09:00 | Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-KLAIM Code | Khalid Bourr, Lorenzo Bettini, Franzesco Tiezzi |
09:30 | Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL | Jaehun Lee, Kyungmin Bae, Peter Olveczky |
10:00 | An Approach for Extended Swarm Formation Flight with Drones: Protease-X | Oliver Kosak, Philipp Kastenmüller, Constantin Wanninger, Wolfgang Reif |