Login / Signup
Verifiable abstractions for contract-oriented systems.
Massimo Bartoletti
Maurizio Murgia
Alceste Scalas
Roberto Zunino
Published in:
J. Log. Algebraic Methods Program. (2017)
Keyphrases
</>
complex systems
learning systems
real world
sufficient conditions
search engine
multimedia
high level
expert systems
state space
management system
intelligent systems
computing systems