The following pages link to Antonio Cerone (Q276004):
Displaying 13 items.
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer (Q304779) (← links)
- Model-checking user behaviour using interacting components (Q1047208) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker (Q2077760) (← links)
- Axiomatisation of an interval calculus for theorem proving (Q2703744) (← links)
- (Q2767163) (← links)
- (Q3005246) (← links)
- (Q4494120) (← links)
- (Q4738312) (← links)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
- (Q5754519) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
