FM 2012: Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642327582, 9783642327599
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Time to Add Order to Distributed Testing

2012 ◽  
pp. 232-246 ◽  
Author(s):  
Robert M. Hierons ◽  
Mercedes G. Merayo ◽  
Manuel Núñez
Keyword(s):  
Distributed Testing

scholarly journals A Formal Approach to Autonomous Vehicle Coordination

2012 ◽  
pp. 52-67 ◽  
Author(s):  
Mikael Asplund ◽  
Atif Manzoor ◽  
Mélanie Bouroche ◽  
Siobhàn Clarke ◽  
Vinny Cahill
Keyword(s):  
Autonomous Vehicle ◽  
Formal Approach

scholarly journals Decentralised LTL Monitoring

2012 ◽  
pp. 85-100 ◽  
Author(s):  
Andreas Bauer ◽  
Yliès Falcone

Julienne: A Trace Slicer for Conditional Rewrite Theories

2012 ◽  
pp. 28-32 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Francisco Frechina ◽  
Daniel Romero

The Modal Transition System Control Problem

2012 ◽  
pp. 155-170 ◽  
Author(s):  
Nicolás D’Ippolito ◽  
Victor Braberman ◽  
Nir Piterman ◽  
Sebastián Uchitel
Keyword(s):  
Control Problem ◽  
Transition System ◽  
System Control

Specification-Based Test Repair Using a Lightweight Formal Method

2012 ◽  
pp. 455-470 ◽  
Author(s):  
Guowei Yang ◽  
Sarfraz Khurshid ◽  
Miryung Kim
Keyword(s):  
Formal Method
Load More ...
Sign in / Sign up

Export Citation Format

Share Document