Browsing Research Reports in Software Engineering and Management by Subject
Now showing items 21-40 of 40
Subject |
---|
Runtime veri cation [1] |
Runtime Verification [1] |
runtime verification [1] |
Smart Contracts [1] |
software architecture [1] |
Software Engineering [2] |
Software engineering [2] |
Software Management [1] |
Software Modeling [1] |
Software Modelling [1] |
Software Models [1] |
static analysis [1] |
symbolic automata [1] |
synthesis [1] |
SysML [1] |
taint analysis [1] |
temporal logic [1] |
Timed Logic [1] |
UML [1] |
Verification of Multi- Agent Systems [1] |