Home > A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering
"A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
2014 | The Institution of Engineering and Technology | ||
2013 | The Institution of Engineering and Technology | ||
Institution of Engineering & Technology | |||
2008 | Institution of Engineering and Technology | ||
2019 | Institution of Engineering and Technology | ||
1st ed. 2016 | Springer New York | ||
[1995], ©1995. | McGraw-Hill, | ||
2008 | Morgan Kaufmann | ||
2021 | Packt Publishing Ltd | ||
1994. | Cambridge University Press, | ||
©2007. | Morgan Kaufmann, | ||
1993 | Springer London | ||
1990 | Springer Berlin Heidelberg | ||
1993 | Routledge | ||
1993 | CRC Press | ||
2013 | Newnes | ||
2020 | John Wiley & Sons | ||
2005. | Butterworth-Heinemann, | ||
2004 | Springer Berlin Heidelberg | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
2015 | Springer International Publishing | ||||
2013 | Springer Berlin Heidelberg | ||||
2013 | The Institution of Engineering and Technology | ||||
1st ed. 2015 | Springer International Publishing | ||||
2012 | Springer Berlin Heidelberg | ||||
1996 | Springer US | ||||
1st ed. 2016 | Springer International Publishing | ||||
2015 | Springer International Publishing | ||||
1993 | Springer US | ||||
2013 | Springer Berlin Heidelberg | ||||
1st ed. 2016 | Springer International Publishing | ||||
2015 | Springer International Publishing | ||||
2014 | Springer International Publishing | ||||
2006 | Springer Netherlands | ||||
1988 | Springer Berlin Heidelberg | ||||
2013 | Springer Berlin Heidelberg | ||||
1st ed. 2019 | Springer International Publishing | ||||
2008 | IOS Press | ||||
2006 | Springer Berlin Heidelberg | ||||
1997 | Springer Berlin Heidelberg | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |