Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
1329759
biblio
Transactions on Foundations for Mastering Change {I}
Submitted by el_wehby on Mon, 05/14/2018 - 11:11am
1329759
biblio
Compositional Model-Based System Design and Other Foundations for Mastering Change
Submitted by el_wehby on Mon, 05/14/2018 - 11:11am
1329759
biblio
Compositionality in the Science of System Design
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
biblio
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
biblio
Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
biblio
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
biblio
Constrained Synthesis from Component Libraries
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
biblio
{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
biblio
Learning Moore Machines from Input-Output Traces
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
biblio
Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016
Submitted by el_wehby on Mon, 05/14/2018 - 11:10am
1329759
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »