Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Rivista
Codice:
E238718
ISSN:
2352-2208
Dati Generali
Dati Generali
Pubblicazioni (7)
An experience in using machine learning for short-term predictions in smart transportation systems
Articolo
Automated specification and verification of Web-based applications
Articolo
Automated verification of programs and Web systems
Articolo
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
Curatela
Exploring nominal cellular automata
Articolo
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
Articolo
Relating two automata-based models of orchestration and choreography
Articolo
No Results Found
