"Formal Methods Workflow for Model-Based Development"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Systems Development Methods for Databases, Enterprise Modeling, and Workflow Management	Wita Wojtkowski; W. Gregory Wojtkowski; Stanislaw Wrycza; Joze Zupancic	1999	Springer US
Formal Methods for Open Object-based Distributed Systems: Volume 2	Howard Bowman; John Derrick	1st ed. 1997	Springer US
Formal Methods for Open Object-based Distributed Systems: Volume 1	Elie Najm; Jean-Bernard Stefani	1st ed. 1997	Springer US
Formal methods for concurrency /	Fencott, P. C.	1996.	International Thomson Computer Press,
Methods of Model Based Process Control	R. Berber	1995	Springer Netherlands
ABAP development for SAP business workflow	Ilja-Daniel Werner	2012	Galileo Press
Principal Induction: A Standards-Based Model for Administrator Development	Elaine L. Wilmore	Corwin	Corwin
Model Based Systems Engineering: Fundamentals and Methods	Patrice Micouin	2014	John Wiley & Sons
Model-based Geostatistics for Global Public Health: Methods and Applications	Peter J. Diggle; Emanuele Giorgi	2019	Routledge
Embedded Systems Architecture for Agile Development: A Layers-Based Model	Mohsen Mirtalebi	1st ed.	Apress
Agile Model-Based Development Using UML-RSDS	Kevin Lano	2016	Routledge
Formal Methods for Mining Structured Objects	Gemma C Garriga	2013	Springer Berlin Heidelberg
Practical Formal Methods for Hardware Design	Carlos Delgado Kloos; Werner Damm	1997	Springer Berlin Heidelberg
Formal Foundations for Software Engineering Methods	Heinrich Hußmann (eds.)	1997	Springer-Verlag Berlin Heidelberg
Formal Foundations for Software Engineering Methods	Heinrich Hußmann	1997	Springer Berlin Heidelberg
Understanding Formal Methods	Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)	2003	Springer-Verlag London
NASA Formal Methods	Clark Barrett and Misty Davies	2017	Springer
Data-Driven and Model-Based Methods for Fault Detection and Diagnosis	Hazem Nounou; Majdi Mansouri; Mohamed Nounou andMohamed-Faouzi Harkat	2020	Elsevier
Workflow-based Integration: Grundlagen, Technologien, Management	Joachim Müller	2005	Springer Berlin Heidelberg
Computer-based instruction: methods and development	Stephen M. Alessi	1991	Prentice Hall
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Formal Methods Workflow for Model-Based Development	Gaurav Dubey; Manoj G. Dixit	Formal Methods for Safety and Security: Case Studies for Aerospace Applications	Manju Nanda; Yogananda Jeppu	1st ed. 2018	Springer Nature Singapore
Software development based on formal methods	C. B. Jones	System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings	A. Nico Habermann; Ugo Montanari	1987	Springer Berlin Heidelberg
Software development based on formal methods	Cliff B. Jones	System development and Ada	CRAI Workshop on Software Factories and Ada (1986 Capri, Italy)	1987	Springer-Verlag
Methods for Linear Data-Based Model Development	Ali Cinar; Satish J. Parulekar; Cenk Undey; Gulnur Birol	Batch Fermentation: Modeling: Monitoring, and Control	Ali Cinar; Satish J. Parulekar; Cenk Undey; Gulnur Birol	2003	Routledge
ONTOLOGY BASED WORKFLOW MODEL	Zhao-hui Zhang; Da-you Liu; Wei-jiang Liu; Bo Yang	Computational Methods	G.R. Liu; V.B.C. Tan; X. Han	2006	Springer Netherlands
Workflow for Development of Chiral Separation Methods		Safe and Sustainable Crop Protection	Kari Lynn (editor), Mingming Ma (editor), Qiang Yang (editor), Qi Yao (editor)	2021	OUP USA
Workflow for Development of Chiral Separation Methods		Innovations for safe and sustainable crop protection products	American Chemical Society. Division of Agrochemicals,; American Chemical Society. Meeting; Lynn, Kari; Ma, Mingming; Yang, Qiang; Yao, Qi	2019	American Chemical Society
Using Formal Methods in Component Based Software Development	Sajad Shirali-Shahreza; Mohammad Shirali-Shahreza	Innovations and Advances in Computer Sciences and Engineering	Tarek Sobh	2010	Springer Netherlands
Model-Based Methods		Building Recommender Systems with Machine Learning and AI: Help people discover new products and content with deep learning, neural networks, and machine learning recommendations.	Frank Kane	2021	Sundog Education
Model-Based Methods		Reconstructing Networks (Elements in Structure and Dynamics of Complex Networks)	Giulio Cimini, Rossana Mastrandrea, Tiziano Squartini	2021	Cambridge University Press
Model-based methods		Deep Reinforcement Learning Hands-On: Apply modern RL methods to practical problems of chatbots, robotics, discrete optimization, web automation, and more, 2nd Edition	Maxim Lapan	2020	Packt Publishing
Model-Based Methods		Algorithms for Decision Making	Mykel J. Kochenderfer; Tim A. Wheeler; Kyle H. Wray	2020
Model-based methods		Deep Reinforcement Learning Hands-On	Maxim Lapan	2020	Packt
Model-Based Methods		Fundamentals of Predictive Analytics With Jmp	Phd Ron Klimberg; B. D. McCullough	2016	SAS Institute
Model-Based Methods		Product Management	Donald Lehmann, Russell Winer	2004	McGraw-Hill Education
Model-Based Methods		Analysis for Marketing Planning	Donald Lehmann, Russell Winer	2007	McGraw-Hill/Irwin
Model-Based Methods		Interactive Shape Design	Marie-Paule Cani, Takeo Igarashi, Geoff Wyvill	2008	Morgan and Claypool Publishers
Model-based Methods		Intermittent Demand Forecasting - Context, methods and applications	John Boylan	2021	John Wiley & Sons
422 The Formal Methods Model		Software engineering: a practitioner’s approach	Maxim, Bruce R.; Pressman, Roger S.	2015	McGraw-Hill Education
Formal Methods in Program Development	Peter Pepper	Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983	Peter Pepper	1984	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Formal Methods Workflow for Model-Based Development" - similar Books and Chapters