Search results
From MaRDI portal
- Publication date: 19 June 2006 zbMATH Keywords Petri net; MSC language Mathematics Subject Classification ID 68Q60: Specification and verification (program logics...15 bytes (49 words) - 03:55, 7 March 2024
- signed hypergroups; duals of commutative signed hypergroups Mathematics Subject Classification ID 43A62: Harmonic analysis on hypergroups 20N20: Hypergroups...15 bytes (48 words) - 03:28, 8 February 2024
- de/link/service/series/0558/bibs/2286/22860326.htm Mathematics Subject Classification ID 68N30: Mathematical aspects of software engineering (specification...15 bytes (49 words) - 22:42, 3 February 2024
- Journal of Mathematics (Search for Journal in Brave) zbMATH Keywords ontology design; semantic relationships; subject ontology Mathematics Subject Classification...15 bytes (60 words) - 22:48, 1 February 2024
- Brave) zbMATH Keywords Consistency; Semantics; MSC; Time constraints Mathematics Subject Classification ID 68Q55: Semantics in the theory of computing...15 bytes (54 words) - 17:00, 31 January 2024
- programming; time consistency; MSC language; races in MSCs; scenario of computations Mathematics Subject Classification ID 68W05: Nonnumerical algorithms...15 bytes (52 words) - 17:15, 31 January 2024
- FEM; Chaboche; elaso-viscoplastic constitutive model; MSC. Marc. Mathematics Subject Classification ID 74C10: Small-strain, rate-dependent theories of plasticity...15 bytes (55 words) - 22:48, 3 February 2024
- sequence charts Mathematics Subject Classification ID 68Q65: Abstract data types; algebraic specification Related Items A theory of regular MSC languages...15 bytes (53 words) - 01:56, 30 January 2024
- 0378.htm Mathematics Subject Classification ID 68U07: Computer science aspects of computer-aided design Related Items A theory of regular MSC languages...15 bytes (53 words) - 04:14, 7 February 2024
- springer.de/link/service/series/0558/bibs/2303/23030295.htm Mathematics Subject Classification ID 68Q25: Analysis of algorithms and problem complexity 68Q60:...15 bytes (54 words) - 22:50, 7 February 2024
- protocol; Message sequence chart; MSC connector; Product line; System family engineering Mathematics Subject Classification ID 68M12: Network protocols...15 bytes (58 words) - 17:00, 31 January 2024
- model-checking; message-passing system; time-constrained MSC Mathematics Subject Classification ID 68Q60: Specification and verification (program logics...15 bytes (58 words) - 21:12, 3 February 2024
- load; torpedo Mathematics Subject Classification ID 76M10: Finite element methods applied to problems in fluid mechanics Uses Software MSC.DYTRAN...15 bytes (58 words) - 20:25, 3 February 2024
- springer.de/link/service/series/0558/bibs/2303/23030052.htm Mathematics Subject Classification ID 68Q45: Formal languages and automata 03D05: Automata and...15 bytes (58 words) - 22:52, 7 February 2024
- work available at URL: https://doi.org/10.1002/pamm.200410133 Mathematics Subject Classification ID 74S05: Finite element methods applied to problems in solid...15 bytes (60 words) - 21:17, 3 February 2024
- htm zbMATH Keywords MSC; Test Generation; SDL; Conformance Testing; Mutation Analysis; Test Selection Mathematics Subject Classification ID 68U99: Computing...15 bytes (63 words) - 05:41, 7 February 2024
- Keywords MSC; UML; SIP; SDL; Software Specification; Design Methodology; Internet Telephony; Telelogic; Use Case Mathematics Subject Classification ID 68U99:...15 bytes (62 words) - 05:34, 7 February 2024
- Full work available at URL: https://arxiv.org/abs/1405.3758 Mathematics Subject Classification ID 68U35: Computing methodologies for information systems...15 bytes (61 words) - 04:05, 7 March 2024
- interlaminar shear stresses; curvatures; strains; MSC/NASTRAN thin plate solutions Mathematics Subject Classification ID 74-04: Software, source code, etc. for...15 bytes (60 words) - 11:31, 5 February 2024
- http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.1116 Mathematics Subject Classification ID 68T05: Learning and adaptive systems in artificial intelligence...15 bytes (72 words) - 04:10, 7 March 2024
