Proceedings Fourth Workshop on Foundations of Interface Technologies

2012/07/15 by Sebastian Bauer, Jean-Baptiste Raclet · 4 citations
Computer Science · #cs.LO #cs.SE

paper · pdf · doi:10.4204/eptcs.87

published as EPTCS 87, 2012

arxiv created 2012/07/15 · arxiv updated 2012/07/17

Abstract

This volume contains the proceedings of the 4th workshop on Foundations of Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in Tallinn, Estonia, and took place on March 25, 2012. The aim of this workshop is to bring together researchers who are interested in the formal underpinnings of interface technologies.

Cited by

• A Robust Specification Theory for Modal Event-Clock Automata
• A Parametric Counterexample Refinement Approach for Robust Timed Specifications
• Refinement for Transition Systems with Responses
• Sequentializing Parameterized Programs

Related

• Proceedings of eNTERFACE 2015 Workshop on Intelligent Interfaces
• Proceedings Foundations for Interface Technologies
• Proceedings First Workshop on Architectures, Languages and Paradigms for IoT
• Proceedings International Workshop on Component and Service Interoperability
• Proceedings of the 3rd Workshop on Open-Source Design Automation (OSDA), 2023