Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319989372, 9783319989389
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Task Planning with OMT: An Application to Production Logistics

2018 ◽  
pp. 316-325 ◽  
Author(s):  
Francesco Leofante ◽  
Erika Ábrahám ◽  
Armando Tacchella
Keyword(s):  
Task Planning ◽  
Production Logistics

scholarly journals On the Industrial Uptake of Formal Methods in the Railway Domain

2018 ◽  
pp. 20-29 ◽  
Author(s):  
Davide Basile ◽  
Maurice H. ter Beek ◽  
Alessandro Fantechi ◽  
Stefania Gnesi ◽  
Franco Mazzanti ◽  
...  
Keyword(s):  
Formal Methods ◽  
Railway Domain

Mode-Aware Concolic Testing for PLC Software

2018 ◽  
pp. 367-376 ◽  
Author(s):  
Hendrik Simon ◽  
Stefan Kowalewski
Keyword(s):  
Concolic Testing

Modelling and Verification for Swarm Robotics

2018 ◽  
pp. 1-19 ◽  
Author(s):  
Ana Cavalcanti ◽  
Alvaro Miyazawa ◽  
Augusto Sampaio ◽  
Wei Li ◽  
Pedro Ribeiro ◽  
...  
Keyword(s):  
Swarm Robotics

Study of Integrating Random and Symbolic Testing for Object-Oriented Software

2018 ◽  
pp. 89-109
Author(s):  
Marko Dimjašević ◽  
Falk Howar ◽  
Kasper Luckow ◽  
Zvonimir Rakamarić
Keyword(s):  
Object Oriented

Resource-Aware Virtually Timed Ambients

2018 ◽  
pp. 194-213
Author(s):  
Einar Broch Johnsen ◽  
Martin Steffen ◽  
Johanna Beate Stumpf ◽  
Lars Tveito
Keyword(s):  
Resource Aware
Load More ...
Sign in / Sign up

Export Citation Format

Share Document