Вы здесь
Archer M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL | 1994 | Zhang C., Shaw R., Olsson R. A., Levitt K., Archer M., Heckman M. R., Benson G. D. | Lecture Notes in Computer Science | 18.06.1994 | |||
| СТ | Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications | 1998 | Heitmeyer C., Kirby J., Labaw B., Archer M., Bharadwai R. | IEEE Transactions on Software Engineering | 28.01.1999 |