[Back]

@inproceedings{kandl07:35[TUW-141083],
    author = {Kandl, Susanne},
    title = {Abstraction Techniques for Extracted Automata Models},
    booktitle = {Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC'07)},
    year = {2007},
    pages = {35--38},
    keywords = {Modeling, Abstraction, Predicate Abstraction, Model Checking, Test Case Generation},
    note = {talk: International Conference on Real-Time and Network Systems (RTNS), Nancy; 2007-03-29 -- 2007-03-30}
}