Search Results for Business.

13.

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Yazar

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

https://doi.org/10.1007/978-3-319-63139-4

Format:

Electronic Resources

Alıntı:

Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using

14.

Transactions on Petri Nets and Other Models of Concurrency XII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-55862-1

Format:

Electronic Resources

Alıntı:

: security, service composition, databases, communication protocols, business processes, and distributed

15.

Transactions on Petri Nets and Other Models of Concurrency XI

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-53401-4

Format:

Electronic Resources

Alıntı:

composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus

16.

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

Yazar

Daneva, Maya. editor.

http://dx.doi.org/10.1007/978-3-319-30282-9

Format:

Electronic Resources

Alıntı:

-- Indicators for Open Issues in Business Process Models -- Compliance in Requirements Engineering -- Automated

17.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor.

http://dx.doi.org/10.1007/978-3-319-06410-9

Format:

Electronic Resources

Alıntı:

Reliability Analysis of an Ambient Assisted Living System -- Diagnosing Industrial Business Processes: Early

18.

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Chechik, Marsha. editor.

http://dx.doi.org/10.1007/978-3-662-49674-9

Format:

Electronic Resources

Alıntı:

for Security-sensitive Business Processes -- Developing & Debugging Proof Strategies by Tinkering -- v

19.

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

http://dx.doi.org/10.1007/978-3-319-05032-4

Format:

Electronic Resources

Alıntı:

-- Towards Knowledge Modeling for Sustainable Transport -- XBRL-Driven Business Process Improvement: A

20.

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

https://doi.org/10.1007/978-3-319-74781-1

Format:

Electronic Resources

Alıntı:

Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes

21.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Interdisciplinary Healthcare Research: A Proposal -- Domain-Specific Business Modeling with the Business Model

	{displayName}	{count}
{error}