9 citations · 13 across the 4 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012
Weighted Modal Transition Systems
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl +3
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification t…
cs.LO2012
Proceedings Fourth Workshop on Foundations of Interface Technologies
Sebastian Bauer, Jean-Baptiste Raclet
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 plac…