Composing Families of Timed Automata
Cledou, Guillermina, Proença, José, Soares Barbosa, Luis
Published in Fundamentals of Software Engineering (01.01.2017)
Published in Fundamentals of Software Engineering (01.01.2017)
Get full text
Book Chapter
Gray-Box Conformance Testing for Symbolic Reactive State Machines
Taromirad, Masoumeh, Mousavi, Mohammad Reza
Published in Fundamentals of Software Engineering (01.01.2017)
Published in Fundamentals of Software Engineering (01.01.2017)
Get full text
Book Chapter
Conference Proceeding
Runtime Monitoring Processes Across Blockchains
Azzopardi, Shaun, Ellul, Joshua, Pace, Gordon J.
Published in Lecture Notes in Computer Science (2021)
Published in Lecture Notes in Computer Science (2021)
Get full text
Book Chapter
Conference Proceeding
Incremental Refinement of Goal Models with Contracts
Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Pelliccione, Patrizio
Published in 9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021), Tehran, Iran (2021)
Published in 9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021), Tehran, Iran (2021)
Get full text
Book Chapter
Conference Proceeding
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
Khoshnevis, Sedigheh, Shams, Fereidoon
Published in Fundamentals of Software Engineering (12.11.2015)
Published in Fundamentals of Software Engineering (12.11.2015)
Get full text
Book Chapter