Formal Methods for Industrial Critical Systemsde Mariëlle StoelingaMateriasInformation systemsSoftware engineeringLogic designLogics and Meanings of ProgramsComputer Appl. in Administrative Data ProcessingComputer scienceComputation by Abstract DevicesSpecial Purpose and Application-Based SystemsEdiciones (1)
JJourney from Process Algebra Via Timed Automata to Model LeaJourney from Process Algebra Via Timed Automata to Model Learning
