1
Gepubliceerd in 2006
Inhoudsopgave: ... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2014
Inhoudsopgave: ...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2015
Inhoudsopgave: ... to Implement FSMs in Heterogenous FPGAs -- Efficient Functional Decomposition Algorithm Based on Indexed...
Volledige tekst
Elektronisch E-boek